iseg($T$; $l_{1}$; $l_{2}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$$l$:$T$ List. ($l_{2}$ = append($l_{1}$; $l$) $\in$ ($T$ List))